Memory model

Results: 703



#Item
111Computing / Software engineering / Concurrency control / Concurrency / Java platform / Concurrent computing / Communication / Synchronization / U3 / Java memory model / Vienna U-Bahn / Java class file

Extended Sequential Reasoning for Data-Race-Free Programs

Add to Reading List

Source URL: www.hpl.hp.com

Language: English - Date: 2011-05-07 02:09:33
112

Agisoft PhotoScan Building geometry (Dense cloud and Mesh generation) step usually has the largest memory footprint, especially if the model is constructed in the Medium or High quality, and should be carefully taken int

Add to Reading List

Source URL: www.agisoft.com

Language: English - Date: 2014-09-19 10:19:24
    113

    Moguls: a Model to Explore the Memory Hierarchy for Bandwidth Improvements Guangyu Sun†, Christopher Hughes§, Changkyu Kim§, Jishen Zhao†, Cong Xu†, Yuan Xie†, Yen-Kuang Chen§ †

    Add to Reading List

    Source URL: pcl.intel-research.net

    Language: English - Date: 2014-12-03 02:39:22
      114

      MSPC 2012 Beijing, China June 16, 2012 Design Space Exploration of Memory Model for Heterogeneous Computing

      Add to Reading List

      Source URL: safari.ece.cmu.edu

      - Date: 2013-09-24 23:28:44
        115Model checking / First-order logic / Mathematical logic / Logic in computer science / Formal methods / Theory of computation

        First-Order Logic for the Analysis of Programs on Weak Memory Models Alexei Lisitsa Department of Computer Science University of Liverpool, Liverpool, UK

        Add to Reading List

        Source URL: www.ai4fm.org

        Language: English - Date: 2015-09-02 07:29:35
        116Cognitive science / Memory / Organizational psychology / Transactive memory / Social psychology / Schema / Agent-based model / Social cognition

        Group-Based Transactive Memory to implement Computationally-Plausible Social Cognition in Agents Geoffrey P. Morgan Kenneth Joseph Kathleen M. Carley Carnegie Mellon University

        Add to Reading List

        Source URL: www.casos.cs.cmu.edu

        Language: English
        117Data management / Non-volatile memory / Telecommunications engineering / Storage virtualization / Computer data storage / Data migration / Storage area network / Data center / Solid-state drive / ISCSI / Storage efficiency / Pure Storage

        White Paper Pure Storage Introduces a New Technology Upgrade Model with Evergreen Storage Sponsored by: Pure Storage Eric Burgener

        Add to Reading List

        Source URL: info.purestorage.com

        Language: English - Date: 2016-02-28 14:42:10
        118Computer storage media / Failure / Survival analysis / Computer storage devices / Non-volatile memory / Reliability engineering / Availability / Markov chain / Solid-state drive / RAID / Hard disk drive / Markov model

        Mean time to meaningless: MTTDL, Markov models, and storage system reliability Kevin M. Greenan ParaScale, Inc. James S. Plank

        Add to Reading List

        Source URL: web.eecs.utk.edu

        Language: English - Date: 2010-06-03 10:46:36
        119Artificial neural networks / Artificial intelligence / Applied mathematics / Computational neuroscience / Machine learning / Computational linguistics / Recurrent neural network / Long short-term memory / Word embedding / Speech recognition / Language model / Convolutional neural network

        Character-Aware Neural Language Models Yacine Jernite∗ Yoon Kim† David Sontag∗

        Add to Reading List

        Source URL: arxiv.org

        Language: English - Date: 2015-12-02 20:34:41
        120Simulation / Multi-agent systems / Systems theory / Agent-based model / Complex systems theory / Grid cell / Memory

        Modeling location choice in activity-based models with cooperative agents Fabrice Marchal, ETHZ Kai Nagel, ETHZ Conference paper STRC 2004

        Add to Reading List

        Source URL: www.strc.ch

        Language: English - Date: 2009-01-15 15:33:44
        UPDATE